Static , dynamic and run - time modeling of compound

Automation techniques are required to manage the complexity inherent in the design of large computer based systems and to provide an eecient means for using the services present in other system. Operational models often allow timing constraints to be expressed and, consequently, a discrete-event simulation of the model can be performed. In this way, statistical estimates of the system's parameters can be collected in order to support decision making. When a formal proof would be too expensive, such statistics can conndently be used to determine some properties of the system. Language) is a graphical language develped by us, to model complex operational software system, which is centered upon the creation of a system prototype providing the feature to dynamically generate actors and establish connection during run time. The developed models can be evaluated it in a controlled simulation framework. In O 3 ML actors can be assembled into complex structures forming composite actors, by establishing connection using connectors. In a more abstract view, these networked structures can be interpreted as entity-relationship models. Such aggregation of actors is always encapsulated within a higher-level composite actor speciication. An actor class can, thus, encapsulate an actor (which is a composite actor). This would make the actor structure recursive so that arbitrary complex hierarchical actor structures can be constructed.